Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Dr Yuan Feng Approved

Source URL: www.arc.gov.au

• Zhu
• Feng
• WP
• Formal methods
• Predicate transformer semantics
• Program logic

Proof Obligations Preserving Compilation Extended abstract Gilles Barthe1 and Tamara Rezk1 and Ando Saabas2 1 2

Source URL: set.ee

• Applied mathematics
• Formal methods
• Mathematical logic
• Program logic
• Predicate transformer semantics
• Assertion
• Stack-oriented programming language
• Postcondition
• Subroutine
• Theoretical computer science
• Mathematics
• Logic in computer science

Training Evaluation Framework and Tools (TEFT) www.go2itech.org/resources Overview: Getting to Know the Training Evaluation Framework and Tools Introduction

Source URL: www.go2itech.org

• Logic model
• Program evaluation
• Systems engineering process
• Evaluation methods
• Evaluation
• Sociology

Program and Proof Optimizations with Type Systems 1 Ando Saabas and Tarmo Uustalu ∗ Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EE[removed]Tallinn, Estonia Received 17 March 2007; acce

Source URL: set.ee

• Normal distribution
• Hoare logic
• Program logic
• Model theory

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein >>=

Source URL: cs4161.web.cse.unsw.edu.au

• Science
• Program logic
• Computer law
• Copyleft
• Monad
• Isabelle
• Formal verification
• Predicate transformer semantics
• Creative Commons
• Theoretical computer science
• Formal methods
• Applied mathematics

Empowering not-for-profit organisations to shape their own future: Evaluating social impact Leigh Wilks & Victoria Visser (The Science of Knowing), Christopher John (United Synergies) Program logic

Source URL: www.unitedsynergies.com.au

• Impact assessment
• Methodology
• Psychological resilience
• Impact evaluation
• Evaluation
• Evaluation methods
• Science

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein C

Source URL: cs4161.web.cse.unsw.edu.au

• Program logic
• Law
• Computer law
• Copyleft
• Intellectual property law
• Isabelle
• Predicate transformer semantics
• L4 microkernel family
• Hoare logic
• Theoretical computer science
• Open content
• Formal methods

Public Service Transformation: Introductory guide to evaluation March 2014 Public Service Transformation Network

Source URL: publicservicetransformation.org

• Sociology
• Impact assessment
• Impact evaluation
• Observational study
• Philosophy of science
• Logic model
• Systems engineering process
• Program evaluation
• Empowerment evaluation
• Evaluation
• Evaluation methods
• Science

Program Logic for Building a Respectful Community - Preventing Violence against Women Inputs Medium Term Outcomes for STAFF & LEADERSHIP

Source URL: www.whin.org.au

• Gender
• Sociology
• Violence
• Afghanistan Public Policy Research Organization
• Science
• Ethology
• Gender studies
• Behavior
• Biology

CWGPCP Organisational Structure – March 2014 Department of Health Program Logic Domains[removed]Early Intervention and Integrated Care Consumer and Community Empowerment

Source URL: www.centralwestgippslandpcp.com